Dependence for Slicing State-based Models: A Survey
نویسنده
چکیده
Dependence is a relation that determines which parts of a system influence the computation of another part. Dependence analysis underpins many activities in computer science, such as model checking, debugging, slicing, security. We are interested in dependence analysis for slicing for finite state machine-based models. In this paper we survey existing dependence relations defined for slicing at the model-level as there has been recently much interest from the slicing community. UCL DEPARTMENT OF COMPUTER SCIENCE
منابع مشابه
Control Dependence for Extended Finite State Machines
Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control dependence. We survey existing related definitions, introducing a new definition that subsumes one and ext...
متن کاملSurvey of Slicing Finite State Machine Models
Slicing is a technique, traditionally applied to programs, for extracting the parts of a program that affect the values computed at a statement of interest. In recent years authors have begun to consider slicing at the model level. We present a detailed review of existing work on slicing at the level of finite state machine-based models. We focus on state based modelling notations because these...
متن کاملStatechart Slicing
The paper discusses how to reduce statecharts model by slicing. We start with the discussion of control dependencies and data dependencies in statecharts. The andor statechart dependence graph is introduced to represent control and data dependecies for statecharts. We show how to slice statecharts by using this dependence graph. Our slicing approach helps systems analysts and systems designers ...
متن کاملA State-Based Model Slicing: A Survey
Program slicing is a source code analysis and manipulation technique, in which a subprogram is identified based on a user-specified slicing criterion. The criterion captures the point of interest within the program, while the process of slicing consists of following dependencies to locate those parts of the program that may affect the slicing criterion [Weiser 1979]. Some flavours of slicing me...
متن کاملCorrectly Slicing Finite State Machines
We consider slicing extended finite state machines. Extended finite state machines (EFSMs) combine a finite state machine with a store and can model a range of computational phenomena, from high-level software to cyberphysical systems. They are essentially interactive and may be nondeterministic so standard techniques for slicing, developed for control flow graphs of programs with a functional ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012